Why Computer Science Is No Good, Redux
cacm.acm.org·3h
🌐Distributed systems
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·7h·
Discuss: www.blogger.com
🔒Transaction Isolation
LeetCode #70: Climbing Stairs
anmoltomer.bearblog.dev·16h
🧮SMT Solvers
Indexing Blockchain Events with Rust and Alloy
blog.bilinearlabs.io·22h·
Discuss: Hacker News
🏹Apache Arrow
Efficient Byzantine Consensus MechanismBased on Reputation in IoT Blockchain
arxiv.org·16h
🤝Distributed Consensus
SAT Requires Exhaustive Search
link.springer.com·23h·
Discuss: Hacker News
🧮SMT Solvers
Software Internals Book Club
eatonphil.com·14h
💾Persistence Strategies
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·6h
📋MCP
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·3h·
Discuss: Hacker News
📰RSS Reading Practices
Scaling Laws for LLM Based Data Compression
lesswrong.com·13h
📝Text Compression
🎲 Enter the Matrix
blog.webb.page·23h
📄File Formats
Encapsulated Collaboration: Using Closures to Extend Class Behavior Without Violating Interface Boundaries [OC]
medium.com·6h·
Discuss: r/programming
🔌API Design Theory
Relative Completeness of Incorrectness Separation Logic
arxiv.org·16h
💻Programming languages
Rod Burstall: In Memoriam
arxiv.org·3h·
Discuss: Lobsters
🌐Distributed systems
Cypherix Cryptainer LE 18.5.3.0
majorgeeks.com·4h
🔐Hardware Security
Redpanda 25.2: Advancing Apache Iceberg™ integration for the real-time lakehouse
redpanda.com·20h
☁️Serverless Databases
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·9h·
Discuss: Hacker News
⚡Zero-Copy APIs
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·7h·
Discuss: Hacker News
🌐Distributed systems
The Christofides Algorithm
alon.kr·4h·
Discuss: Hacker News
🔍Vector Search Algorithms
Factoring RSA100
johndcook.com·18h
🔢BitNet Inference